Logic : Language And Information || 02 6 2 Logic Programming In Prolog 13 00